Date: Tue, 10 Dec 1996 14:21:49 GMT
Server: NCSA/1.4.2
Content-type: text/html
Last-modified: Fri, 31 May 1996 22:41:27 GMT
Content-length: 5309

<Head>
<title>Francesmary Modugno -- Selected Publications</title>
</head>

<body>
<h3>Francesmary Modugno -- Selected Publications</h3>

I have also written a <A HREF="thesis-summary.html">one-page summary </A> of
my thesis research.

<HR>

<h3>Papers</h3>

<ul> 

<li><cite> Creating and Analyzing Requirement Specifications of Joint
Human--Computer Controllers for Safety-Critical Systems.  </cite>
Francesmary Modugno, Nancy G. Leveson, Jon D. Reese, Kurt Partridge
and Sean Sandys.  To be presented at the Third Symposium on Human
Interaction with Complex Systems.  Dayton, Ohio, August 1996.
 <a
href="http://www.cs.washington.edu/research/projects/safety/www/papers/hics96.abstract"> Abstract</a>
 <a
href="http://www.cs.washington.edu/research/projects/safety/www/papers/hics.ps"> Postscript</a>
<p>


<li><cite>
Evaluating Program Representation in a Demonstrational Visual Shell. </cite>
Francesmary Modugno, Albert T. Corbett and Brad A. Myers.  In
Empirical Studies of Programmers Sixth Workshop.  Alexandria, VA.
January, 1996.
 <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/esp95.abstract"> Abstract</a>
 <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/esp95-final.ps">Postscript</a>
<p>

<li><cite> A State-Based Visual Language for a Demonstrational
Visual Shell. </cite> Francesmary Modugno and Brad A. Myers.
In 1994 IEEE/CS Symposium on Visual Languages.  St. Louis,
Missouri, October, 1994.
 <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/vl94.abstract"> Abstract</a>
 <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/vl94.ps">Postscript</a>

<p>

<li> <cite> Visual Programming in a Visual Domain: A Case Study
of Cognitive Dimension</cite>. Francesmary Modugno, T.R.G. Green 
and Brad A. Myers.  In Human-Computer Interaction '94, People and 
Computers.  Glasgow, Scotland, August, 1994.
 <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/hci94.abstract"> Abstract</a>
 <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/hci94.ps">Postscript</a>

<p>

<li> <cite>Exploring Graphical Feedback in a Demonstrational Visual
Shell </cite>.  Francesmary Modugno and Brad A. Myers.  In the 1994
East-West International Conference on Human-Computer Interaction.  St.
Petersburg, Russia, August, 1994.
 <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/ew-chi94.abstract"> Abstract</a>
 <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/ew-chi94.ps">Postscript</a>

<p>

<li> <cite>Empowering Visual Shells Using Visual Language and
Object-Oriented Techniques (Extended Abstract)</cite>.  Francesmary
Modugno.  In the OOPSLA'93 Workshop on Visual Object-Oriented
Programming.  Washington, DC. October, 1993.  <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/oopsla93.abstract"> Abstract</a>

<p>

<li> <cite>Timed I/O Automata</cite>.  Michael Merritt, Francesmary
Modugno and Mark Tuttle.  In CONCUR 91 Amsterdam, September 1991.
<a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/concur.ps"> Postscript</a>

<p>

</ul>

<HR>

<h3>Published Book Chapters</h3>

<ul>

<li><cite>Interface Issues in Visual Shell Programming</cite>.  In  Visual
Object-Oriented Programming.  Margaret M. Burnett, Adele Goldberg and
Theodore G. Lewis, editors.  Published by Prentice-Hall Inc, 1995.
 <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/voop.abstract"> Abstract</a>
 <a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/voop.ps"> Postscript</a>

<p>

<li>
<Cite>Graphical Representation and Feedback in a PBD System</cite>.
Francesmary Modugno and Brad A. Myers.  In Watch What I Do:
Programming by Demonstration.  Allen Cypher, editor.  Published by MIT
Press, 1993.  <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/PBD-book-fmm-chap.abstract">
Abstract</a>

<p>

<li> <cite>List-Ranking and Parallel Tree Contraction</cite>.
Margaret Reid-Miller, Gary L.Miller and Francesmary Modugno.  In
Synthesis of Parallel Algorithms, John H. Reif, editor.  Published by
Morgan Kaufmann, 1992.  
<p>

</ul>

<HR>

<h3>Technical Reports</h3>

<ul>

<li>
<cite>Pursuit: Visual Programming in a Visual Domain</cite>.
Francesmary Modugno and Brad A. Myers.
Technical Report CMU-CS-94-109, Carnegie Mellon University,
Pittsburgh, PA 15213.  January 1994   (this is a combination
of several conference publications).
<a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/cmu-cs-94-109.abstract">
Abstract</a>
<a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/cmu-cs-94-109.ps">
postscript</a>  
<p>

</ul>

<HR>

<h3>Videos</h3>

<ul>

<LI> 
<CITE> PURSUIT: Graphical Representation of Shell Programming by
Demonstration</CITE>.  Francesmary Modugno and Brad A. Myers.
Technical Video Program of the International Conference on Human
Factors in Computing Systems (CHI94).  Boston, MA.  April 1994.  
<a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/pbd-group/papers/chi94.abstract">
Abstract</a> 

<p>
</ul>

<HR>



